$\forall$$a$:Atom1, $n$:$\mathbb{N}$. $n$:$\mathbb{N}\parallel$$a$